Skip to content

Remove CompatHelper and update Dependabot config#1420

Merged
yebai merged 1 commit into
TuringLang:mainfrom
shravangoswami-bot:dependabot-config
Jun 5, 2026
Merged

Remove CompatHelper and update Dependabot config#1420
yebai merged 1 commit into
TuringLang:mainfrom
shravangoswami-bot:dependabot-config

Conversation

@shravangoswami-bot

@shravangoswami-bot shravangoswami-bot commented Jun 5, 2026

Copy link
Copy Markdown
Contributor

Please ignore until reviewed by @shravanngoswamii.

Summary

This PR updates dependency update automation for this repository.

Workflow run: https://github.com/shravangoswami-bot/dependabot-config-bot/actions/runs/26996268991

Detected State

  • CompatHelper workflow: present
  • Dependabot config: present
  • Existing Dependabot path: .github/dependabot.yml
  • Julia package directories: /,/benchmarks,/docs,/test,/test/ext/DynamicPPLEnzymeCoreExt,/test/ext/DynamicPPLMarginalLogDensitiesExt,/test/ext/DynamicPPLReverseDiffExt,/test/floattypes

Changes Made

  • Removed CompatHelper workflow.
  • Updated Dependabot config.

This PR was created automatically via workflow dispatch from shravangoswami-bot/dependabot-config-bot by @shravangoswami-bot, a bot account maintained by @shravanngoswamii.

Co-authored-by: shravanngoswamii <shravanngoswamii@users.noreply.github.com>

@shravanngoswamii shravanngoswamii left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I’ve carefully reviewed and verified the directories referenced in the workflow. Everything looks good from my side.

No CI approval is needed, as these changes do not require any testing.

@shravanngoswamii shravanngoswamii requested a review from yebai June 5, 2026 05:48
Comment thread .github/dependabot.yml
@yebai yebai merged commit a81ff4d into TuringLang:main Jun 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants